/* Initial beliefs */
defenda.

/* Initial goal */

!check. 

/* Plans */

+!check : ataque <- 1 ; !check.
+!check : defenda <- 0 ; !check.
